Nuprl Definition : ma-interface-triggers
11,40
postcript
pdf
[[
I
|
i
]] == es-triggers(
es
;
i
;ma-interface-ds(
I
;
i
);
I
(
i
).2)
latex
clarification:
ma-interface-triggers{i:l}(
es
;
i
;
I
) == es-triggers(
es
;
i
;ma-interface-ds(
I
;
i
);
I
IdDeq(
i
).2)
latex
Definitions
es-triggers(
es
;
i
;
ds
;
conds
)
,
ma-interface-ds(
I
;
i
)
,
t
.2
,
f
(
x
)
,
IdDeq
FDL editor aliases
ma-interface-triggers
origin